Prototyping Relational Specifications Using Higher-Order Objects
نویسندگان
چکیده
An approach is described for the generation of certain mathematical objects (like sets, correspondences, mappings) in terms of relations using relation-algebraic descriptions of higher-order objects. From non-constructive characterizations executable relational speciications are obtained. We also show how to develop more eecient algorithms from the frequently ineecient speciications within the calculus of binary relations .
منابع مشابه
Prototyping Relational Speci cations Using Higher Order Objects
An approach is described for the generation of certain math ematical objects like sets correspondences mappings in terms of re lations using relation algebraic descriptions of higher order objects From non constructive characterizations executable relational speci cations are obtained We also show how to develop more e cient algorithms from the frequently ine cient speci cations within the calc...
متن کاملDesigning and Prototyping Data-Intensive Applications in the Logres and Algres Programming Environment
This paper presents an environment and a methodology for the design and rapid prototyping of data-intensive software applications; i.e., applications which perform substantial retrieval and update activity on persistent data. In the proposed approach, the application is formally specified using Logres, a database language which combines object-oriented data modeling and rule-based programming. ...
متن کاملCompositional logic programming
Relational program derivation has gathered momentum over the last decade with the development of many specification logics. However, before such relational specifications can be executed in existing programming languages, they must be carefully phrased to respect the evaluation order of the language. In turn, this requirement inhibits the rapid prototyping of specifications in a relational nota...
متن کاملLearning of Relational Categories as a Function of Higher-Order Structure
Higher-order relations are important for various cognitive tasks, such as analogical transfer. The current study tested people’s ability to learn new relational categories, using a learning test of pure higher-order relations. Each stimulus consisted of 4 objects varying on 3 dimensions. Each category was defined by three binary relations between pairs of objects, producing six logically differ...
متن کاملOOZE : an Object-Oriented Z Environment
OOZE, which stands for “Object Oriented Z Environment,” is a generalized wide spectrum object oriented language that builds on the notation and style of Z. OOZE supports requirements, specifications, interpretable programs, and compilable programs. The OOZE system is based on OBJ3, and provides rapid prototyping and theorem proving facilities over a module database. OOZE modules can be generic,...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 1993